Herman Geuvers: mencari di tapak web Z-Library

Sumbangan 15 hb September 2024 – 1 hb Oktober 2024 Mengenai pengumpulan sumbangan

Akses percuma kepada pengetahuan dan budaya.

Sumbangan 15 hb September 2024 – 1 hb Oktober 2024

Z-Library - salah satu perpustakaan dalam talian terbesar di dunia yang menyimpan lebih daripada 17,000,000 buku dan 84,837,000 artikel. Kami bertujuan untuk buku boleh diakses oleh semua orang. Hari ini (15 hb September 2024) kami memulakan pengumpulan dana tambahan untuk menyokong dan mengembangkan projek.

Tambah lagi muat turun TANPA HAD (untuk 31 hari sejak menghantar sumbangan) boleh diakses oleh SEMUA pengguna yang menyumbangkan selama tempoh pengumpulan sumbangan hingga 1 hb Oktober 2024.

Mengenai pengumpulan sumbanganBaca lebih lanjut

Buku (11)
Yang paling popular
Senarai
- Senarai
- Jadual

1

Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

Cambridge University Press

Rob Nederpelt, Herman Geuvers

Tahun:

2014

Bahasa:

english

Fail:

PDF, 2.35 MB

4.5 / 5.0

english, 2014

2

Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

Cambridge University Press

Professor Rob Nederpelt, Professor Herman Geuvers

Tahun:

2014

Bahasa:

english

Fail:

PDF, 2.67 MB

4.5 / 4.0

english, 2014

3

Type theory and formal proof: an Introduction

Type theory and formal proof: an Introduction

Cambridge University Press

Geuvers, Jan Herman, Nederpelt, R. P

Tahun:

2014

Bahasa:

english

Fail:

PDF, 1.92 MB

4.5 / 0

english, 2014

4

Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

England, Matthew, Geuvers, Herman, Hasan, Osman, Rabe, Florian, Teschke, Olaf

Tahun:

2017

Bahasa:

english

Fail:

PDF, 49.24 MB

0 / 0

english, 2017

5

Logic Colloquium 2006

Logic Colloquium 2006

Cambridge University Press

S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko Väänänen (Editors)

Tahun:

2009

Bahasa:

english

Fail:

PDF, 1.86 MB

0 / 0

english, 2009

6

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Herman Geuvers (auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (eds.)

Tahun:

2009

Bahasa:

english

Fail:

PDF, 2.23 MB

0 / 5.0

english, 2009

7

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Herman Geuvers (auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (eds.)

Tahun:

2009

Bahasa:

english

Fail:

PDF, 2.34 MB

0 / 0

english, 2009

8

Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

Springer-Verlag Berlin Heidelberg

Andreas Abel, Ralph Matthes (auth.), Herman Geuvers, Freek Wiedijk (eds.)

Tahun:

2003

Bahasa:

english

Fail:

PDF, 2.94 MB

0 / 0

english, 2003

9

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Don Batory (auth.), Marko van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk (eds.)

Tahun:

2011

Bahasa:

english

Fail:

PDF, 3.65 MB

0 / 0

english, 2011

10

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Herman Geuvers (auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (eds.)

Tahun:

2009

Bahasa:

english

Fail:

PDF, 3.41 MB

0 / 0

english, 2009

11

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Don Batory (auth.), Marko van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk (eds.)

Tahun:

2011

Bahasa:

english

Fail:

PDF, 4.09 MB

0 / 0

english, 2011